First International Congress on Tools for teching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning
نویسنده
چکیده
WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan’s analytic tableaux and Gentzen’s natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brie‡y introduce the proof system KE and give an overview of the main features of the software tool.
منابع مشابه
First International Congress on Tools for Teaching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning
WinKE is an interactive proof assistant based on the KE calculus, a refuta-tion system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brieey introduce the proof system KE and give an overview of the main features of the software tool...
متن کاملUsing Interaction and Visualisation for Teaching Deductive Reasoning
In this paper we discuss how computers can be deployed to support teaching deductive reasoning at university level. These considerations led to the development of the interactive theorem proving assistant and learning environment WinKE. We start out by describing common difficulties in teaching logic and deductive reasoning and thereby justify the need for computer support in that field. We ide...
متن کاملWinKE: A Proof Assistant for Teaching Logic
WinKE is a new interactive theorem proving assistant based on the KE calculus, a refutation system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. It has been developed to support teaching logic and reasoning to undergraduate students. The software is supportive of and complementary to an introductory textbook on classical logic Mondadori and D'Agostin...
متن کامل15th International Congress of Geographic Medicineand 5th National Congress of Medical Education Views of Medical Students, Entry 1995 About Histology Teaching at Shiraz Medical School
Introduction. In order to understand the cellular and tissue damages or changes in various diseases, it is imperative to be knowledgeable about the normal structure of different tissues. The Histology course, which is taught in the first year of medicine in Iran, is supposed to provide such knowledge. In this study, we did evaluate this course for its methods of teaching as well as clinical r...
متن کامل